rcvs($l$;$t$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$$a$.isrcv($l$;$a$);map($\lambda$$t_{1}$.a(destination($l$);$t_{1}$);upto($t$)))